This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
اقرأ المزيدThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
اقرأ المزيدThis volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
اقرأ المزيد